EPT: More efficient ept_sync_domain().
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 22 Sep 2009 08:18:25 +0000 (09:18 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 22 Sep 2009 08:18:25 +0000 (09:18 +0100)
commit3ab4c1a9ec7377b88beb237cdeb41e1792aab66f
tree97ca0ab996dfd269e73a36edaced091fe39b90cf
parent99f7ce36147785c85c3c0617596dbb76b87db61f
EPT: More efficient ept_sync_domain().

Rather than always flushing all CPUs, only flush CPUs this domain is
currently active on, and defer flushing other CPUs until this domain
is scheduled onto them (or the domain is destroyed).

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/domain.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/hvm/vmx/vmcs.h